Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
71	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
72	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science
73	STANDARD QUOTATION & SPECIFICATION FORM VENDOR OF RECORD: 1. STATE: 3. BRAND NAME: 5. STATE STOCK: 8. TYPE: Add to Reading List Source URL: www.liquor.idaho.gov Language: English - Date: 2015-02-24 11:19:40 Writing Programming language theory Computing Supply chain management Universal Product Code International Article Number ML FOB Identifiers Universal identifiers Barcodes
74	Erlang’s Exception Handling Revisited Richard Carlsson Bjorn ¨ Gustavsson Add to Reading List Source URL: erlang.se Language: English - Date: 2004-10-04 08:10:36 Functional languages Control flow Procedural programming languages Exception handling Erlang Subroutine Common Lisp Pattern matching Standard ML Software engineering Computer programming Computing
75	DRA FRONT END FILTER PROJECT Proof of Security (I) Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:12 Standard ML Computer programming Programming language theory
76	Standard 26 QR _externi_final_ML Add to Reading List Source URL: www.qr-kody.cz Language: Czech - Date: 2013-01-03 06:11:03
77	Dimension Types ? Andrew Kennedy University of Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:22:53 Computing Functional languages Procedural programming languages Type systems Type inference Standard ML ML Unification Principal type Programming language theory Type theory Software engineering
78	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
79	Lemma 1 Ref: DS/FMU/FEF/019 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (I) Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:58 Procedural programming languages Data types Functional languages Type theory Standard ML Enumerated type ALGOL 68 SQL Primitive data type Computing Software engineering Programming language theory
80	c 1993 Cambridge University Press 1 J. Functional Programming 1 (1): 1{000, January 1993 FUNCTIONAL PEARLS Proof-Directed Debugging Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 17:55:28 Functional languages Deduction Entailment Logical syntax Metalogic Philosophical logic Regular expression Standard ML IP Logic Software engineering Computer programming